A Transformation Technique for DatalogPrograms Based on Non
نویسندگان
چکیده
Recently, a novel transformation technique for Datalog programs , called the branching transformation, was introduced by the authors. In this paper we propose a signiicant extension of the branching transformation which we believe opens-up a promising new direction of research in the area of value-propagating Datalog optimizations. One of the novel characteristics of the proposed approach is that the target language is DatalognS extended with choice predicates, a form of non-deterministic construct that was originally introduced in the area of intensional logic programming.
منابع مشابه
A Simple Transformation Method in Skewness Reduction
Statistical analysis of non-normal data is usually more complicated than that for normaldistribution. In this paper, a simple root/power transformation technique developed by Niaki, et al [1]is extended to transform right and left skewed distributions to nearly normal. The value of theroot/power is explored such that the skewness of the transformed data becomes almost zero with anacceptable err...
متن کاملNonlinear Analysis of Flow-induced Vibration in Fluid-conveying Structures using Differential Transformation Method with Cosine-Aftertreatment Technique
In this work, analytical solutions are provided to the nonlinear equations arising in thermal and flow-induced vibration in fluid-conveying structures using Galerkin-differential transformation method with cosine aftertreatment technique. From the analysis, it was established that increase of the length and aspect ratio of the fluid-conveying structures result in decrease the nonlinear vibratio...
متن کاملInfluence of aging temperature on phase transformation and mechanical behavior of NiTi thin films deposited by magnetron sputtering technique
In this study, NiTi thin films were deposited on the glass and NaCl substrates by means of magnetron sputtering method. The influence of aging temperature, over the range 300-500 oC, on phase transformation and mechanical properties of the sputtered NiTi thin films were studied by differential scanning calorimetry (DSC) and nano-indentation assay, respectively. The DSC curves showed that the ag...
متن کاملTransformation in Smallholder Agriculture through Intensification in Ethiopia: Determinants and Implications
It is a challenge for a farmer with limited resources to decide on the production of commodities and investment in the farm. Transformation of smallholder subsistence agriculture, to market oriented value addition based agriculture is vital for poverty reduction in Ethiopia. This study was initiated to explore the factors which contribute for the adoption of improved wheat and pepper varieties ...
متن کاملA Self-Consistent Technique for the Construction and Evaluation of the Three-Parameter Corresponding States Principles
A self-consistent approach for the evaluation of the existing three-parameter corresponding states principles of non-polar fluids and the calculation of the corresponding states parameters is presented. This self consistent approach is based upon the assumption that the contribution of the third parameter to the thermophysical properties is much smaller than the contributions of the first two p...
متن کامل